what is correctoin of a short history of punctuation