nicer printout of Keq