Remove a piece of obsolete code.