Fix double delete by ignoring the problem.