You're right. I made a pull request, you can check.