[minor] Cosmetic comments