Index: /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp	(revision 33895)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/runtime/UIKeyboardHandler.cpp	(revision 33896)
@@ -937,13 +937,14 @@
         if (   (keyCode == 0xa || keyCode == 0x32)
             && KBGetLayoutType(LMGetKbdType()) == kKeyboardISO)
-        {
             keyCode = 0x3c - keyCode;
 #ifdef DEBUG
+        if ((keyCode == 0xa || keyCode == 0x32))
+        {
             OSErr err = noErr;
             SInt32 type;
             if ((err = Gestalt(gestaltKeyboardType, &type)) == noErr)
-                LogRel(("Keyboard type %d\n", (int32_t)type));
+                printf("Keyboard type %d %d\n", (int32_t)type, LMGetKbdType());
+        }
 #endif /* DEBUG */
-        }
         unsigned scanCode = ::DarwinKeycodeToSet1Scancode(keyCode);
         if (scanCode)