Fix a punctuation nit in the documentation