Updated to magma 1.4.1