(cosmetic comments cleanup)