Since we are not supposed to have this at all, I think it should be removed completely.