Small tweaks in comments