Looks like your PR handles this.