Yes, that's right.  I just added another commit that fixes that.