Bugfix in ProcessManager.