Fix a comment