Style fixes to Triangle facts

We can discuss in Slack