slight documentation tweaks