diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index df053f78d5d21b815005f2413f87f5c0a955e951..8cc5f31fa8c74f4ed7ef450ddf607f33634f9759 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1774,7 +1774,7 @@ object TreeOps {
               }
 
             case _ =>
-              sys.error("Unnexpected case: "+p)
+              sys.error("Unexpected case: "+p)
           }
 
           subChecks.forall { case (ccd, subs) =>
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
index c0b4aa6927ebb98f063f93ce1f5149333889b831..eb59fd5b9ba58b88ed7cd48252a7f92261651fdf 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala
@@ -570,7 +570,7 @@ trait SMTLIBTarget {
 
     interpreter.eval(cmd) match {
       case err@ErrorResponse(msg) if !interrupted =>
-        reporter.fatalError("Unnexpected error from smt-"+targetName+" solver: "+msg)
+        reporter.fatalError("Unexpected error from smt-"+targetName+" solver: "+msg)
       case res => res
     }
   }
diff --git a/src/main/scala/leon/synthesis/ExamplesFinder.scala b/src/main/scala/leon/synthesis/ExamplesFinder.scala
index be7a8c6d14cfdfb71b9a2e3c69b8a6f8823ee85a..fade70b9463cdc951a0383d38e253287b9b8b0a8 100644
--- a/src/main/scala/leon/synthesis/ExamplesFinder.scala
+++ b/src/main/scala/leon/synthesis/ExamplesFinder.scala
@@ -247,7 +247,7 @@ class ExamplesFinder(ctx: LeonContext, program: Program) {
       }
 
     case _ =>
-      reporter.warning("Unnexpected pattern in test-ids extraction: "+e)
+      reporter.warning("Unexpected pattern in test-ids extraction: "+e)
       Nil
   }