Simplify kind pretty printing.