Fixed formatting in triange_facts