Oh, I'm terribly sorry. I used a quasiquote when a quote would have done. This is probably the worst thing that has ever happened and I am suitably embarrassed. -- John Anthony