Oops, thanks.  I've just pushed a fix for that.