From 5bc66d6d23de6b42a405787abad09032c617d970 Mon Sep 17 00:00:00 2001
From: Egbert Rijke <e.m.rijke@gmail.com>
Date: Fri, 4 Dec 2015 16:57:32 -0500
Subject: [PATCH] Update README.md

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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.