diff --git a/README.md b/README.md
index 1ede543..3af464c 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 # Isabelle Hacks
 
 This project contains small Isabelle "hacks" that provide additional 
-functionality to (Isabelle)[https://isabelle.in.tum.de] or showcase
+functionality to [Isabelle](https://isabelle.in.tum.de) or showcase
 specific functionality. The individual hacks usually consist out of 
 a single theory file and all documentation is contained in that 
 theory file. The master branch should work with the latest official 
@@ -10,8 +10,8 @@ older versions might be available on a dedicated branch.
 
 ## List of Isabelle Hacks
 
-* [assert.thy] provides a new top level command **assert** that
-  provides a simple way for specifying assertions that Isabelle 
+* [assert.thy](assert.thy) provides a new top level command **assert**
+  that provides a simple way for specifying assertions that Isabelle
   checks while processing a theory.
 
 ## Authors
@@ -26,6 +26,6 @@ SPDX-License-Identifier: BSD-2-Clause
 
 ## Master Repository
 
-The master git repository for this project is hosted by the (Software
-Assurance & Security Research Team)[https://logicalhacking.com]:
+The master git repository for this project is hosted by the [Software
+Assurance & Security Research Team](https://logicalhacking.com):
 [https://git.logicalhacking.com/adbrucker/isabelle-hacks]