Small fix to IPC framework