diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index c856e58..d8b4c79 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -19,8 +19,8 @@ root.typeInputFieldPlaceholder=Typannahmen hier eingeben. Ein '!' wird zu '∀'
root.absRuleLet=Abs-Regel mit Let
root.varRuleLet=Var-Regel mit Let
root.termExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
-root.assExplanation=Im Typannahmen-Eingabefeld werden einzelne Typannahmen durch ein Semikolon \
-(;)
voneinander getrennt. Variable und Typ einer Typannahme werden \
+root.assExplanation=Im Typannahmen-Eingabefeld werden einzelne Typannahmen durch ein Komma \
+(,)
voneinander getrennt. Variable und Typ einer Typannahme werden \
durch einen
Doppelpunkt (:) separiert.
root.typeExplanation=Die folgende Grammatik beschreibt die Syntax eines gültigen Typs:
root.typeAssumptions=Typannahmen
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index 94da0c6..4778fc8 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -19,8 +19,8 @@ root.varRuleLet=Var rule with Let
root.inputFieldPlaceholder=Enter term here. A '\\' is converted to '\u03BB'.
root.typeInputFieldPlaceholder=Enter type assumptions here. A '!' is converted to '∀'.
root.termExplanation=The following grammar specifies the structure of a valid term:
-root.assExplanation=In the type assumption input field, type assumptions are separated by a semicolon \
-(;).
The variable and type of a type assumption are separated by a colon \
+root.assExplanation=In the type assumption input field, type assumptions are separated by a comma \
+(,).
The variable and type of a type assumption are separated by a colon \
(:).
root.typeExplanation=The following grammar specifies the syntax of a valid type:
root.typeAssumptions=Type Assumptions