documentation tweaks and fixes