Correction in a comment I made