Thanks for your bugreport.
This is fixed in the current development tree and will be part of the next upload.
Thanks for your bugreport.
This is fixed in the current development tree and will be part of the next upload.