I've just pushed commit for this.