Show the option type in print_unknown_options()