Nice formatting in main.sml