diff --git a/doc/contribute.html b/doc/contribute.html
index 45ed8f1553..7f74adf893 100644
--- a/doc/contribute.html
+++ b/doc/contribute.html
@@ -577,7 +577,7 @@ might turn up:
 &lt;&lt;&lt;&lt;&lt;&lt;&lt; HEAD
 	if arg &lt; 1e9 {
 =======
-	if arg &lh; 1e10 {
+	if arg &lt; 1e10 {
 &gt;&gt;&gt;&gt;&gt;&gt;&gt; mcgillicutty
 		largeReduce(arg)
 </pre>
