Handling traceback better in main().