documentation tweaks.