@mbj I just pushed a change that fixes this.