Agreed. I'll add a `TODO` comment explaining this.