Utilitarian comments on Are wireheads happy?