tools: nicer printout