In any case I'd opt for creating a new issue for this.