Oh, I see where it's used now. Ignore my previous comment. :-)