Updated to latest version of magma.