Remove a bit of dead code