More docs fixes

* a few markup fixes
* a few formatting issues