Thanks for your bugreport.
I fixed this in my local repository and it will be part of the next upload.
Thanks for your bugreport.
I fixed this in my local repository and it will be part of the next upload.