Heh, I think we saw the same thing at the same time (my comment is below).  I think it can be deleted.