I've pushed a commit for this.