In that case your memory (or perhaps just attention to detail when watching) is better than mine, and I withdraw my previous belief! Thanks for the correction