diff --git a/smtchecker.ts b/smtchecker.ts
index 78e64248..0c12ef6d 100644
--- a/smtchecker.ts
+++ b/smtchecker.ts
@@ -20,7 +20,7 @@ function handleSMTQueries (inputJSON: any, outputJSON: any, solverFunction: any,
   }
 
   // Note: all existing solved queries are replaced.
-  // This assumes that all neccessary queries are quested above.
+  // This assumes that all necessary queries are quested above.
   inputJSON.auxiliaryInput = { smtlib2responses: responses };
   return inputJSON;
 }
diff --git a/solc.ts b/solc.ts
index 9f565883..10dc8ed3 100755
--- a/solc.ts
+++ b/solc.ts
@@ -55,7 +55,7 @@ const files = program.args;
 const destination = options.outputDir || '.';
 
 function abort (msg) {
-  console.error(msg || 'Error occured');
+  console.error(msg || 'Error occurred');
   process.exit(1);
 }