I have pushed in a commit clarifying this.