Specialised print_matrix to output char types correctly