Style fixes to Triangle facts