Critical bugfix in IPC manager