Remove some stale code.