diff --git a/events/Tetrapod-2018.md b/events/Tetrapod-2018.md
index 8c2c92c7b9d81ce276d1a902c62b1ee84ea411eb..e45a9d46e6818f8f77f119685cb0a026aa6c0b24 100644
--- a/events/Tetrapod-2018.md
+++ b/events/Tetrapod-2018.md
@@ -9,7 +9,7 @@ at the [Federated Logic Conference 2018](http://www.floc2018.org/)<br/>
 affiliated with the [Third International Conference on Formal Structures for Computation and Deduction](http://www.cs.le.ac.uk/events/fscd2018/)
 </p>
 
-### Description
+#### Description
 
 Mathematics, logics, and computer science support a rich ecosystem of formal knowledge.
   This involves many interrelated human activities such as modeling phenomena and formulating conjectures, proofs, and computations, and organizing, interconnecting, visualizing, and applying this knowledge.
@@ -25,8 +25,6 @@ Of particular interest are
 * interchange languages and module systems
 * languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
 
-### Organization
-
 #### Organizers
 
 - Jacques Carette, McMaster University (carette@mcmaster.ca)