fix typos; remove names from comments; NFC