Fixing magma commands for number fields.