Doc polish

* Little improvements on docs, from typos to minor style tweak
*