Tweak punctuation in the user guide