minor tweaks, doc