Correcting 'hw2.sml'