Hi Barend, Thank you very much for looking into this!I will have a look. Is there a ticket for this? No problem if there is not, I will look today, just to know.I did not yet file a ticket b/c if it's a known issue and/or resolved in 1.55, then I would just take your word for it and not clutter the bug database. If you think that it's an original issue that is not yet being worked on, I'll happily file a ticket.