Fixed bug in kind pretty-printing.