diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html
index e0275d4012..72d8057b51 100644
--- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html
+++ b/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html
@@ -31,7 +31,7 @@
 	    </pre></code></blockquote>
 
 	<p>The <code>start</code> procedure should produce a
-	    a <em>response</em> to an HTTP request. Please
+	    <em>response</em> to an HTTP request. Please
 	    refer to the documentation available via the Help
 	    Desk for more information about working with these
 	    values and programming servlets.</p>