diff --git a/README.md b/README.md
index 1667240..5f09034 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,8 @@
 
 Formalization project of the CMU HoTT group towards formalizing the Serre spectral sequence. 
 
-Currently in the project: Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead, Egbert Rijke, Mike Shulman.
+#### Participants 
+Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead, Egbert Rijke, Mike Shulman.
 
 ## Resources
 - [Mike's blog post](http://homotopytypetheory.org/2013/08/08/spectral-sequences/) at the HoTT blog.