Misc fixes to the documentation file