Thanks demerphq: It's very nice of you to follow this up long after I thought it had been forgotten. And I'm glad to see it get fixed even if the potential for trouble was minor.