Make the example for Magma a little better