minor fix for new ISPC