Fix .mrconfig.example