ETS: bugfix in handling of {heir,none} case of setopts()