another hw7.sml update