Quite right: my memory misled me, and I should have checked. Thanks for the correction: I have amended the post.