Should I open an issue on github?
Yes; this was an oversight on our part, and now that you've raised the issue (thanks!) I've committed a simple fix that should make it into the next release ;)