Correction in a comment