Make some minor corrections to English in docs