Fix the format type of tsettle in print_options()