diff --git a/src/Cryptol/TypeCheck/SimpType.hs b/src/Cryptol/TypeCheck/SimpType.hs
index bfd7da92c..95d2f31e3 100644
--- a/src/Cryptol/TypeCheck/SimpType.hs
+++ b/src/Cryptol/TypeCheck/SimpType.hs
@@ -117,7 +117,7 @@ tSub x y
   | tIsInf x = x
     {- This assumes that `y` is finite and not error.  The first should
        follow from the typing on `tSub`, which asserts that the second argument
-       is finite and less than the first;  the second should have been handleed
+       is finite and less than the first;  the second should have been handled
        by the first equation above `tOp`. -}
 
   | Just 0 <- yNum = x