diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index b8f4dbffdfbd96e947668ce02a9cf6a133e34860..44841d94a1517a2fe6b65f574451759bf9cfab8e 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -12,10 +12,11 @@ Modularity has been recognized in all FLoC-related communities as a critical met
   It is also extremely valuable for comparing and exchanging knowledge across communities, corpora, and tools - a challenge that is both pressing and difficult.
 
 Expanding on the Tetrapod workshop at the conference on intelligent computer mathematics (CICM) 2016, this workshop brings together researchers from a diverse set of research areas in order to create a universal understanding of the challenges and solutions regarding highly structured knowledge bases.
-  Of particular interest are
-- foundational principles such as theory graphs and colimits
-- interchange languages and module systems
-- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
+
+Of particular interest are
+* foundational principles such as theory graphs and colimits
+* interchange languages and module systems
+* languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
 
 ### Organization