user can cleanly terminate the program now