Oh, I overlooked that comment. I'll try to fix it and change the PR.