OK, I just pushed a commit to address this.