Fix formatting in simple_mc