Do you want me to open a github issue?