bugfix to ispc code path