Remove a little dead code