I'll look into this. It's probably not going to be hugely important, because if any such errors come up they are some kind of trouble for sure.