Don't duplicate names in comments. NFC.