diff --git a/README.md b/README.md
index 954e4e9823..621bb495ea 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ KeYmaera X also supports the verification of _hybrid games_ in _differential gam
   or [Wolfram Engine](http://www.wolfram.com/engine/).
   See below for more details on the different arithmetic solvers.
 
-3. Download the file [keymaerax.jar](https://keymaeraX.org/keymaerax.jar)
+3. Download the file [keymaerax.jar](https://keymaerax.org/keymaerax.jar)
 
 4. Configure KeYmaera X according to the **Configuration** section below.
 
diff --git a/keymaerax-webui/src/main/resources/index_bootstrap.html b/keymaerax-webui/src/main/resources/index_bootstrap.html
index 74f3d5f942..8058573321 100644
--- a/keymaerax-webui/src/main/resources/index_bootstrap.html
+++ b/keymaerax-webui/src/main/resources/index_bootstrap.html
@@ -56,7 +56,7 @@
     <div class="container">
         <h1>KeYmaera&#160;X
             <a ng-if="!isLocal" ng-cloak type="button" class="btn btn-info btn-lg"
-               href="http://keymaerax.org/keymaerax.jar"><i class="fa fa-download"></i> Download</a></h1>
+               href="https://keymaerax.org/keymaerax.jar"><i class="fa fa-download"></i> Download</a></h1>
         <p>An aXiomatic Tactical Theorem Prover for Hybrid Systems</p>
     </div>
 <noscript>