Great catch!  It was used in an earlier revision, which I never posted earlier.  It has been thusly deleted.