fix small typos : punctuation mark
Merge pull request #4780