Thanks, Tom

I had mistakenly thought my memory was, as usual, playing tricks on me.
Documentation is the best cure.