fixing formatting for theories list