It could, but in such rarely executed code, it doesn't seem worth the extra logic.