diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index 716ed0f..e79f97b 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -101,8 +101,6 @@ help.typicalcInfo=\
   Thomas Heinen<br>\
   Arne Keller<br>\
   Johanna Stuber<br>
-
-root.TOO_FEW_TOKENS=Falsche Eingabe! Die Eingabe endet abrupt.
 error.tooFewTokensHelp=unerwartetes Ende der Eingabe
 root.UNEXPECTED_TOKEN=Die Eingabe entspricht nicht der im Info-Dialog spezifizierten Syntax!
 root.UNEXPECTED_CHARACTER=Die Eingabe enthält ein Zeichen, welches an dieser Stelle nicht erlaubt ist!
@@ -113,6 +111,7 @@ error.wrongCharacter=Falsches Zeichen:\u0020
 error.expectedToken=Erwartet: {0}
 error.hint=Die Grammatiken, die die korrekte Syntax eines Terms und der Typannahmen beschreiben, \
   sind auch über das Info-Symbol zu erreichen.
+tokentype.UNIVERSAL_QUANTIFIER=Allquantor
 tokentype.LAMBDA=λ
 tokentype.VARIABLE=Variable
 tokentype.LET=let
@@ -123,7 +122,8 @@ tokentype.NUMBER=Zahl
 tokentype.LEFT_PARENTHESIS=(
 tokentype.RIGHT_PARENTHESIS=)
 tokentype.DOT=.
-tokentype.COMMA=.
+tokentype.COMMA=,
+tokentype.COLON=:
 tokentype.EQUALS==
 tokentype.ARROW=->
 tokentype.EOF=Ende der Eingabe
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index a664493..aafcb52 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -93,29 +93,29 @@ help.typicalcInfo=\
   Thomas Heinen<br>\
   Arne Keller<br>\
   Johanna Stuber
-
-root.TOO_FEW_TOKENS=Wrong input! The term ends abruptly.
 error.tooFewTokensHelp=unexpected end of input
 root.UNEXPECTED_TOKEN=The input does not match the syntax specified in the info dialog.
 root.UNEXPECTED_CHARACTER=The input contains a character which is not allowed at this position.
 error.heading=Input is syntactically wrong!
 error.wrongCharacter=Wrong character:\u0020
 error.termForError=Term:\u0020
-error.typeAssumptionForError=Type Assumption:\u0020
+error.typeAssumptionForError=Type assumption:\u0020
 error.expectedToken=Expected: {0}
 error.hint=The grammars describing the correct syntax of a term or a type assumption can also be reached \
   via the info icon.
+tokentype.UNIVERSAL_QUANTIFIER=universal quantifier
 tokentype.LAMBDA=λ
-tokentype.VARIABLE=Variable
+tokentype.VARIABLE=variable
 tokentype.LET=let
 tokentype.IN=in
 tokentype.TRUE=true
 tokentype.FALSE=false
-tokentype.NUMBER=Number
+tokentype.NUMBER=number
 tokentype.LEFT_PARENTHESIS=(
 tokentype.RIGHT_PARENTHESIS=)
 tokentype.DOT=.
-tokentype.COMMA=.
+tokentype.COMMA=,
+tokentype.COLON=:
 tokentype.EQUALS==
 tokentype.ARROW=->
 tokentype.EOF=End of input
@@ -130,7 +130,7 @@ root.here=here
 root.image0=/carousel/StartPage-english.jpg
 root.text0=Use the buttons at the bottom of the page to navigate through the slideshow.
 root.image1=/carousel/EnterTerm-english.jpg
-root.text1=The term \u03BBx.x is entered into the input field.
+root.text1=The term λx.x is entered into the input field.
 root.image2=/carousel/OpenTypeAssumptions-english.jpg
 root.text2=The type assumptions button is clicked to open up a dialog to enter type assumptions.
 root.image3=/carousel/EnterTypeAssumptions-english.jpg