diff --git a/development/mcrl2/README b/development/mcrl2/README
index 57354a8109..29abd169e9 100644
--- a/development/mcrl2/README
+++ b/development/mcrl2/README
@@ -1,5 +1,5 @@
 mCRL2 stands for micro Common Representation Language 2. It is a
 specification language that can be used to specify and analyse the
 behaviour of distributed systems and protocols and is the successor to
-μCRL. Using its accompanying toolset systems can be analysed and verified
+mCRL. Using its accompanying toolset systems can be analysed and verified
 automatically.
diff --git a/development/mcrl2/slack-desc b/development/mcrl2/slack-desc
index 3ef3d501b6..2f9ed87f4a 100644
--- a/development/mcrl2/slack-desc
+++ b/development/mcrl2/slack-desc
@@ -11,7 +11,7 @@ mcrl2:
 mcrl2: mCRL2 stands for micro Common Representation Language 2. It is a
 mcrl2: specification language that can be used to specify and analyse the
 mcrl2: behaviour of distributed systems and protocols and is the successor
-mcrl2: to μCRL. Using its accompanying toolset systems can be analysed and
+mcrl2: to mCRL. Using its accompanying toolset systems can be analysed and
 mcrl2: verified automatically.
 mcrl2:
 mcrl2: http://www.mcrl2.org/