Thanks. I've pushed a commit to fix this.