options::option_set::setopt() bug fix.