Minor: duplicate term