Minor tweaks in comments