Clean quit in main():