Correctly mark dead processes