Bug 883250: don't auto-punctuate after punctuation