Don't repeat names in comments. NFC.