Minor: another redundant term