More graceful Ctrl+C in looks and operation