Minor cosmetic tweaks in comments