diff --git a/docs/Projects.html b/docs/Projects.html
index e83225f..f8aaad8 100644
--- a/docs/Projects.html
+++ b/docs/Projects.html
@@ -333,6 +333,6 @@
 	href="mailto:llvmdev.cs.uiuc.edu">llvmdev@cs.uiuc.edu</a>).
 	
 <hr>
-Written by the <a href="mailto:criswell@uiuc.edu">John Criswell</a>.
+Written by <a href="mailto:criswell@uiuc.edu">John Criswell</a>.
 </body>
 </html>