I've tested my change and it works fine, but you can also take my PR and test it if you suspect there's an issue there.