Remove some old, useless code (whoops).