diff --git a/README.md b/README.md
index 484889d..5dc1a22 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ tool for security protocol analysis. Its intended audience are
interested users and future developers of the Scyther tool, as well as
protocol modelers. For installation and usage instructions of the
Scyther tool see:
-.
+.
Installing from source
----------------------
diff --git a/gui/Changelog.txt b/gui/Changelog.txt
index 2ae0a7b..b50b647 100644
--- a/gui/Changelog.txt
+++ b/gui/Changelog.txt
@@ -62,7 +62,7 @@ Major new features:
Additional protocol models:
-See for a
+See for a
more high-level overview of selected protocol models.
* IEEE 802.16e/WIMAX: PKMv2rsa and variants
diff --git a/gui/Gui/About.py b/gui/Gui/About.py
index c3a3e36..b415c55 100644
--- a/gui/Gui/About.py
+++ b/gui/Gui/About.py
@@ -65,8 +65,8 @@ class AboutScyther(wx.Dialog):
For news and updates visit the Scyther pages at
-
- http://people.inf.ethz.ch/cremersc/scyther/index.html
+
+ http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html
License
diff --git a/gui/README.md b/gui/README.md
index 8813c5e..c954566 100644
--- a/gui/README.md
+++ b/gui/README.md
@@ -3,7 +3,7 @@ The Scyther tool
Scyther is a tool for the symbolic analysis of security protocols. It is
developed by Cas Cremers, and is available from
-.
+.
The below instructions apply only to the *distribution version* of
the Scyther tool. If you are working from the source files, some paths may be
diff --git a/src/switches.c b/src/switches.c
index 1759bd3..4de372b 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -1717,7 +1717,7 @@ process_switches (int commandline)
{
printf ("Try '%s --help' for more information, or visit:\n",
progname);
- printf (" http://people.inf.ethz.ch/cremersc/scyther/index.html\n");
+ printf (" http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html\n");
exit (0);
}
else