1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index be2b25e..7989b1c 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# VEIN: VErification via Interaction Nets
+# VEIN: VErification via Interaction Nets</p>
 
 Requires my [fork of Inpla](https://github.com/eric-marin/inpla).