It actually happens, and until fixing this properly, don't output
useless useless scary warnings.  Anyway, this is not a big problem
or anything.