Remove now-useless comment