I don't think this condition can ever happen, and if it can, I'm not sure it's worth the code to work around.