This test and the next one would fail on master due to #5640