not sure if that is allowed in `add_options`: `\`