I think this situation is rare enough that it doesn't warrant checking. And even if it's not there, a fatal error isn't a big deal in this case.