fix bug in optionSet