some more documentation tweaks