minor tweaks to comments and docs