(In reply to Stakanov Schufter from comment #23) > BTW: with 3.17 this function is sound. So this problem came up between the > two versions, or this was introduced with 3.16.x and then was corrected in > 3.17.x Sorry, apparently I missed comments 21 to 23. Maybe I witnessed something different, discard my notes.