bug fix for scop builder