Yes, thanks -- I just pushed the fix.