From 4e2c0af37b0911470b21d371e96387b4326ae4ee Mon Sep 17 00:00:00 2001
From: Stefan Keim <indus@users.noreply.github.com>
Date: Tue, 16 Jul 2019 16:23:37 +0200
Subject: [PATCH] Update terms.html

---
 terms.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/terms.html b/terms.html
index dfcf7826..0c5f1b80 100644
--- a/terms.html
+++ b/terms.html
@@ -45,7 +45,7 @@
 
     <h3>§ 1 Principles</h3>
     <ol>
-        <li>JS.ORGis a free service provided by the owner of JS.ORG as stated in the imprint. The service will be only called
+        <li>JS.ORG is a free service provided by the owner of JS.ORG as stated in the imprint. The service will be only called
             "JS.ORG". All services are incumbent upon these terms and conditions.</li>
         <li>JS.ORG accompanies and extends the service "GitHub Pages" provided by GitHub, Inc ("GitHub"). JS.ORG provides free
             subdomains underneath the domain "js.org" to be used as a custom URL for a GitHub Page.</li>