We're looking forward to merge your pull request on github when you have time. Even the small fixes needs to be done, and the more people that feels comfortable with the contribution process, the fewer bugs we'll have.
Anyway's great to get feedback early so that annoying issues like that, doesn't sneak into a release. Don't feel that you can't report an issue without a fix.
