diff --git a/dhall/src/Dhall/TypeCheck.hs b/dhall/src/Dhall/TypeCheck.hs
index e370334cd..da888c952 100644
--- a/dhall/src/Dhall/TypeCheck.hs
+++ b/dhall/src/Dhall/TypeCheck.hs
@@ -3488,7 +3488,7 @@ prettyTypeMessage (CantEQ expr0 expr1) =
         buildBooleanOperator "==" expr0 expr1
 
 prettyTypeMessage (CantNE expr0 expr1) =
-        buildBooleanOperator "/=" expr0 expr1
+        buildBooleanOperator "!=" expr0 expr1
 
 prettyTypeMessage (CantInterpolate expr0 expr1) = ErrorMessages {..}
   where