Index: /trunk/src/VBox/Frontends/VirtualBox/src/VBoxConsoleWnd.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/VBoxConsoleWnd.cpp	(revision 6147)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/VBoxConsoleWnd.cpp	(revision 6148)
@@ -2046,6 +2046,6 @@
 #ifdef Q_WS_MAC /* setMask seems to not include the far border pixels. */
         QRect maskRect = dtw->screenGeometry (this);
-        maskRect.setRight(maskRect.right() + 1);
-        maskRect.setBottom(maskRect.bottom() + 1);
+        maskRect.setRight (maskRect.right() + 1);
+        maskRect.setBottom (maskRect.bottom() + 1);
         setMask (maskRect);
 #else