tiny fixes
documentation tweaks