@stof Ah, you are correct, it is not a fatal error. I'll stop arguing now !