Magma version is 1.3.0