I have pushed a commit for this.