Doc tweaks

This improves the grammar in the docs a bit.