Revert "remove some extraneous punctuation"

This reverts commit 9d2f084d6bfbba6dabd3663eec3eeb67b9ce4a87.