Refine dump_fonts() slightly.