minor: documentation tweaks