diff --git a/wiki/pages/cade-tutorial.elf b/wiki/pages/cade-tutorial.elf
index f00c2b0e..584e4ea2 100644
--- a/wiki/pages/cade-tutorial.elf
+++ b/wiki/pages/cade-tutorial.elf
@@ -16,7 +16,7 @@ Come to the Twelf tutorial on **June 10, 2013, 9:00-12:30**, co-located with CAD
 
 Learn to:
 * Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
-* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
+* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
 under the helpful guidance of Twelf experts.  
 
 The tutorial will be a highly interactive introduction to LF and Twelf
diff --git a/wiki/pages/popl-tutorial-saturday.elf b/wiki/pages/popl-tutorial-saturday.elf
index 09b219d6..d41511f2 100644
--- a/wiki/pages/popl-tutorial-saturday.elf
+++ b/wiki/pages/popl-tutorial-saturday.elf
@@ -18,7 +18,7 @@ Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, i
 
 Learn to:
 * Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
-* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
+* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
 under the helpful guidance of Twelf experts.  
 
 The tutorial will be a highly interactive introduction to LF and Twelf
diff --git a/wiki/pages/popl-tutorial-thursday.elf b/wiki/pages/popl-tutorial-thursday.elf
index 7a72d9cc..ff1fc69a 100644
--- a/wiki/pages/popl-tutorial-thursday.elf
+++ b/wiki/pages/popl-tutorial-thursday.elf
@@ -2,7 +2,7 @@
 
 %{! ## Mechanizing Metatheory with LF and Twelf
 
-Do you want to learn how to use [Twelf](/wiki/main-page/) to specify, implement, and prove
+Do you want to learn how to use [Twelf](/) to specify, implement, and prove
 properties about programming languages?  
 
 Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, in
@@ -10,7 +10,7 @@ Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, i
 
 Learn to:
 * Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
-* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
+* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
 under the helpful guidance of Twelf experts.  
 
 The tutorial will be a highly interactive introduction to LF and Twelf
diff --git a/wiki/pages/popl-tutorial.elf b/wiki/pages/popl-tutorial.elf
index 882a9328..54de5255 100644
--- a/wiki/pages/popl-tutorial.elf
+++ b/wiki/pages/popl-tutorial.elf
@@ -16,7 +16,7 @@ Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, i
 
 Learn to:
 * Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
-* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
+* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
 under the helpful guidance of Twelf experts.  
 
 The tutorial will be a highly interactive introduction to LF and Twelf
diff --git a/wiki/pages/the-twelf-project-to-do.elf b/wiki/pages/the-twelf-project-to-do.elf
index 6355fef2..8862f225 100644
--- a/wiki/pages/the-twelf-project-to-do.elf
+++ b/wiki/pages/the-twelf-project-to-do.elf
@@ -180,7 +180,7 @@ I've drafted the article, but I invite people to point out points that require c
 | **Done for now**
 |-
 | **Learning Twelf**
-| A prominent page that leads prospective users to an appropriate tutorial, should they like to learn about or learn Twelf. (appears in the lower right corner of the [Main Page](/wiki/main-page/)
+| A prominent page that leads prospective users to an appropriate tutorial, should they like to learn about or learn Twelf. (appears in the lower right corner of the [Main Page](/)
 | Rob
 | **Done (the portal part)**
 |-