Update t_matrix.ml