better printout for type