Motivation: Commit d857b16d76 introduced some comments that had no punctuation. Modifications: Add punctuation. Result: Comments have punctuation.
d857b16d76