From d4821c9022324d68dc8789bee7d4b7c8ccd69556 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Fri, 23 Oct 2020 15:19:41 +0200
Subject: [PATCH] Fixed acknowledgements.

---
 src/plfa/backmatter/acknowledgements.md | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/src/plfa/backmatter/acknowledgements.md b/src/plfa/backmatter/acknowledgements.md
index a0df2d7a..e019ba61 100644
--- a/src/plfa/backmatter/acknowledgements.md
+++ b/src/plfa/backmatter/acknowledgements.md
@@ -13,15 +13,17 @@ Thank you to:
 
 A special thank you, for inventing ideas on which this book is based, and for hand-holding:
 <div class="list-of-contributors">
-  - Andreas Abel
-  - Catarina Coquand
-  - Thierry Coquand
-  - David Darais
-  - Per Martin-Löf
-  - Lena Magnusson
-  - Conor McBride
-  - James McKinna
-  - Ulf Norell
+<ul>
+<li>Andreas Abel</li>
+<li>Catarina Coquand</li>
+<li>Thierry Coquand</li>
+<li>David Darais</li>
+<li>Per Martin-Löf</li>
+<li>Lena Magnusson</li>
+<li>Conor McBride</li>
+<li>James McKinna</li>
+<li>Ulf Norell</li>
+</ul>
 </div>
 
 $if(contributors)$