minor tweaks, doc changes