Stupid correction of a comment