Don't print "Unhandled exception: " when one occurs -- just print its name.