Yeah, you are totally correct.  Will push a fix.