diff --git a/lib/languages b/lib/languages
index d51f2ec964..27561957c6 100644
--- a/lib/languages
+++ b/lib/languages
@@ -1,7 +1,8 @@
 # name      babel name	GUI name	RTL?   encoding	  code	latex options
 afrikaans   afrikaans	"Afrikaans"	false  iso8859-15 af_ZA	 ""
 american    american	"American"	false  iso8859-15 en_US	 ""
-arabic_arabtex ""	"Arabic (ArabTeX)" true  cp1256 ar_SA ""
+# FIXME: dummy babel language for arabic_arabtex to be able to switch the language the way of the ArabTeX-package
+arabic_arabtex arabtex	"Arabic (ArabTeX)" true  cp1256 ar_SA ""
 arabic_arabi arabic	"Arabic (Arabi)"   true  cp1256 ar_SA ""
 armenian    ""		"Armenian"	false  armscii8   hy_AM	 ""
 austrian    austrian	"Austrian"	false  iso8859-15 de_AT	 ""