Fix a comment styling issue.