minor style and grammar polishing in docs