minor tweaks in comments