Fix a very minor punctuation typo.