You are right. Thanks. I just made a commit that fixes this.