Thanks for your persistence in pointing out the omission. I thought I had deleted it. Maybe it got lost in the squashing/merging cycle. I'll sort it out this evening.