Fix control-c formatting