Redundant term

Duplicated "options".