The bug fix to the bug fix had a bug itself, of course. But this time it will work for sure!