Remove dead code. NFC.