fix a comment's formatting