On Thu, May 14, 2015 at 1:49 PM, Joel Frederico <joelfrederico@gmail.com> wrote:

So it does, thank you! Do you think I / we / you / somebody should report it as a bug?

Yes.

If you can raise an issue on GitHub that would be great! A pull request would be even better. If you are not familiar with the process, have a look at our "contributing" documentation!

Thanks again for reporting!

Juan.