Minor updates to ProcessManager.