fixing ctrl+c behavior