Thanks for the feedback! I will take a look at it.
Update: Good and bad news, bad news are that the issue is not fixed yet. Good news are that I know how to do it (at least I believe so). What has to be done is filter the image when scaling it, but as far as I know there is no built-in filter so it must be implemented (not difficult, but it's more a matter of finding time to do it).