Do some minor corrections, mostly grammatical errors