brutal korea apology 

Sorry, I've figured out now what happened. I was working from a hardcopy that I'd printed out a few days earlier, without realising that the two refs had in the meantime been changed by someone for some strange reason by joining two the refs together. In short, my hardcopy was different from your onscreen version. Hence we were literally not on the same page. I can see now that one has to check for the very latest online version of anything before jumping to false conclusions. Learning curve.