I’m always amazed about our great community: finding bugs and even fixing them!
That’s the way it goes:
Thanks to Paul for making my day by this post.
When you want to learn more about bug reports, have a look at: Bug Reports and Feature Requests FAQ