My bad, I have submitted a new fix for this.