I pushed a fix for this.