more documentation tweaks.