Delete dead code. NFC.