tiny tool to reformat output produced by show.