correction in a comment