The code emitted warnings, so probably was always wrong. This was fixed in [](0e7605d101d4079a), but it needs to be tested if this is now working correctly.