Replaced incorrect comment by a (hopefully) correct one.