Documentation: Various minor documentation tweaks