fix a punctuation error