or just remove the case, if it should never happen