Correction of interpretTerms