diff --git a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
index 2f3ac42f9f5036c741e843d382de1a0ad4a6778a..9c2c6f57814e4081b1912c6dae25060dedc86965 100644
--- a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
+++ b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
@@ -129,7 +129,7 @@ public class ConfigfileEvaluator {
 				&& this.specNode == null) {
 			throw new ConfigFileErrorException(
 					"The module contains variables."
-							+ " Hence there must be eather a SPECIFICATION or INIT declaration.");
+							+ " Hence there must be either a SPECIFICATION or INIT declaration.");
 		}
 
 		evalInvariants();