diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties
index c076e76..21e18cd 100644
--- a/src/main/resources/language/translation_de.properties
+++ b/src/main/resources/language/translation_de.properties
@@ -167,8 +167,6 @@ der Eingabe zu sehen.
 root.image6=/carousel/UseShareDialog-german.jpg
 root.text6=Im Teilen-Dialog sind der Permalink zur aktuellen Seite, der Latex-Code des Baums und die im Code \
 verwendeten Pakete aufgelistet.
-root.correctAssumptions=Korrigiere oder lösche die ungültigen Typannahmen (rot hinterlegt) \
-vor dem Schließen des Dialogs.
 root.copyLatexTooltip=Kopiere LaTeX-code
 root.helpIcon=Hilfe
 root.exampleTooltip=Beispielterme
diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties
index f4bac57..25074e6 100644
--- a/src/main/resources/language/translation_en.properties
+++ b/src/main/resources/language/translation_en.properties
@@ -157,7 +157,6 @@ entered term are being displayed.
 root.image6=/carousel/UseShareDialog-english.jpg
 root.text6=The share dialog contains a permalink to the current page, the LaTeX code of the tree and the packages needed \
 to compile the code.
-root.correctAssumptions=Correct or delete the invalid type assumptions (red background) before closing the dialog.
 root.copyLatexTooltip=Copy LaTeX code
 root.helpIcon=Help
 root.exampleTooltip=Example terms