diff --git a/README.md b/README.md
index 9456efab49e69645a45f9ec3831937026bccb82d..3cd67051f6e085fb60972b1c9aaa83feba56f996 100644
--- a/README.md
+++ b/README.md
@@ -1,39 +1,37 @@
-<img src="https://github.com/hhu-stups/prob-rodinplugin/raw/develop/logo.png" width="500" align="center">
+![ProB logo](https://github.com/hhu-stups/prob-rodinplugin/raw/develop/logo.png)
 
-[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
+# The ProB Model Checker and Animator - plugin for Rodin
 
-# The ProB Model Checker and Animator
+## License
 
-[![Build Status](https://travis-ci.org/hhu-stups/prob-rodinplugin.svg?branch=develop)](https://travis-ci.org/hhu-stups/prob-rodinplugin)
-
-The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
+The ProB source code is distributed under the [EPL 1.0 license](https://www.eclipse.org/org/documents/epl-v10.html).
 (C) 2000-2021 Michael Leuschel and many others.
 
 For updates please visit the ProB website: https://prob.hhu.de/w/
 
 ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
 
-The ProB binary and source distributions contain the nauty library (http://cs.anu.edu.au/~bdm/nauty/) which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance.
+The ProB binary and source distributions contain the [nauty](https://users.cecs.anu.edu.au/~bdm/nauty/) library, which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance.
 
-For availability of commercial support, please contact Michael Leuschel (http://www.stups.uni-duesseldorf.de/~leuschel).
+For availability of commercial support, please contact [Michael Leuschel](https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel).
 
-# Bugs
-Please report bugs and feature requests at the new site https://github.com/hhu-stups/prob-issues
+## Bugs
 
-# Prolog Source Code
-The latest source code of the Prolog binary can be downloaded from https://stups.hhu-hosting.de/downloads/prob/source/.
-To build the Prolog binaries you require a SICStus 4 (http://sicstus.sics.se/index.html) licence.
+Please report bugs and feature requests on the [ProB issue tracker](https://github.com/hhu-stups/prob-issues).
 
+## Prolog Source Code
+
+The latest source code of the Prolog binary can be downloaded from https://stups.hhu-hosting.de/downloads/prob/source/.
+To build the Prolog binaries you require a [SICStus 4](https://sicstus.sics.se/) licence.
 
-# Setting up the development environment
+## Setting up the development environment
 
 - Clone the repository (https://github.com/hhu-stups/prob-rodinplugin)
-  We suggest to fork the project on github (see https://help.github.com/articles/fork-a-repo)
 
 - We use gradle to manage the dependencies to the libraries, thus you will need gradle installed on your computer.
-  (see http://www.gradle.org/)
+  (see https://gradle.org/)
 
-- In the workspace directory run the completeInstall task (```gradle completeInstall```), alternatively you can also run the downloadCli and collectDependencies tasks (```gradle downloadCli collectDependencies```). This will download the latest nightly build of the Prolog binary and the required Java libraries (such as the parser libraries).
+- In the workspace directory run the completeInstall task (`gradle completeInstall`), alternatively you can also run the downloadCli and collectDependencies tasks (`gradle downloadCli collectDependencies`). This will download the latest nightly build of the Prolog binary and the required Java libraries (such as the parser libraries).
 
 - Install Eclipse for RCP Development