Small correction to Tower's constructor