Egad, what a rookie mistake.  You're right, of course.  I'll post a change shortly.