some documentation tweaks