I am back from parental leave. Thanks a lot Paolo and Michael for finding and fixing this! From what I can see the bug can be closed. Please reopen if I have overseen something.