Small modification to a comment