more documentation tweaks