Minor cosmetic in comments