minor changes in ProcessManager