Update for MAGMA 1.5.0