Fixed up some code for printing process terminations