doc/comment tweaks