diff -r 18bfa0a3c117 -r d17c1a28df17 QTfrontend/util/DataManager.cpp
--- a/QTfrontend/util/DataManager.cpp	Wed May 01 23:11:22 2019 +0300
+++ b/QTfrontend/util/DataManager.cpp	Sat May 04 00:14:12 2019 +0200
@@ -175,9 +175,13 @@
             bool kbFallback = keyDisplay.trimmed().isEmpty();
             if (kbFallback)
             {
-                // If SDL doesn't know a name, show fallback name and a warning
-		//: Name of QWERTY US keyboard layout
-                keyDisplay = QString(sdlkeys[j][1]) + QString(" ") + HWApplication::translate("binds (keys)", "(QWERTY)");
+                keyDisplay = QString(sdlkeys[j][1]);
+                if ((QString(sdlkeys[j][0]) != "f13") && (QString(sdlkeys[j][0]) != "f14") && (QString(sdlkeys[j][0]) != "f15"))
+                {
+                    // If SDL doesn't know a name, show fallback name and a warning
+		    //: Name of QWERTY US keyboard layout
+                    keyDisplay = keyDisplay + QString(" ") + HWApplication::translate("binds (keys)", "(QWERTY)");
+                }
             }
             if (isKeyboard)
             {