small bug on ctrl-c