I understand. I made a pull request to fix this. See #543.