added pretty printing of chars