Uncomment terminate()