small doc tweaks #7