Bugfixes related to ProcManager