Improve print_unknown_options()