Minor: fixes duplicated terms