diff --git a/README.md b/README.md
index 1352172..f25ce83 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 ## Holbert NG
 
+
 This is a new, from-scratch development of my [reconceived design](https://liamoc.net/forest/loc-000V) of the Holbert proof assistant -- the browser based Higher Order Logic proof assistant.
 
 Rather than a standalone web-app, Holbert NG will be a library of web components that can be seamlessly integrated into online documents.