More formatting of ex2_02.sml