diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index bc570edf93..acb76b9ab3 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -492,7 +492,7 @@ public:
 
 	QString translate(const char * /*context*/,
 	  const char * sourceText,
-	  const char * /*comment*/ = 0)
+	  const char * /*comment*/ = 0) const
 	{
 		string const s = sourceText;
 		if (s == N_("About %1")	|| s == N_("Preferences")