oh, also in the previous commit: Fixed bug with killing processes.