additional documentation tweaks