From 7fdf5b289c8c0809fc24c071ff6d59a766defa17 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Thu, 13 Sep 2018 12:54:14 +0100
Subject: [PATCH] Fix bug in layout acknowledgements

---
 src/plfa/Acknowledgements.lagda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plfa/Acknowledgements.lagda b/src/plfa/Acknowledgements.lagda
index d65e6951..742e4d72 100644
--- a/src/plfa/Acknowledgements.lagda
+++ b/src/plfa/Acknowledgements.lagda
@@ -18,7 +18,7 @@ this book is based, and for hand-holding:
 
 <span class="force-end-of-list"></span>
 {%- if site.contributors -%}
-<p>For pull requests big and small:</p>
+For pull requests big and small:
 <ul>
 {%- for contributor in site.contributors -%}
   <li><a href="https://github.com/{{ contributor.github_username }}">{{ contributor.name }}</a></li>