Thanks, that's a bug.  fixed in next push.