Fix formatting on CTRL-C handling