Made suggested style changes to triangle_facts