Magma 1.4 test failure