Fix syntax of terms