Final refinements for pprint_formula_list()