Oh I see… Should I open an issue on the repo? Or probably it will be fixed anyway, if it is in the latest commit, right?