Punctuation in a comment