I pushed a commit to fix this.