template typename bug in tri_tri