Small hack to prevent crashes with vocproc