Documentation fixes and tweaks