I don't think we need this line any more (the command line waits for the user to quit), and if we do we need to not.