Fix: we do not care about the result when the user hits CTRL+C