minor tweaks, comments, etc.