minor tweaks, and some documentation