purely cosmetic change in comments