@WalterBright 
I've meant this check. It seems that either you've fixed it or I've missed that it was here in the first place.
Anyway, all good.