minor tweaks to documentation and comments