various documentation tweaks