Cool.  Well, we should fix it... doesn't matter to me whether that's here or in a subsequent pull request.