a few more documentation tweaks