option.opts: updated