Trivial punctuation corrections in English text...