Fix a comment style problem