OK, thanks so far. These replies already give me a partial answer - no, it's not just some syntax stupidly mis-typed in these lines, which I thought it was. (You, know, hour 12 of the day and this is the n-th time in the last two hours you've gone looking for the forgotten semi-colon).

Thanks - will go looking deeper.