Fix a minor punctuation bugaboo.