lots of documentation tweaks