Index: /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsDisplay.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsDisplay.cpp	(revision 50042)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/settings/machine/UIMachineSettingsDisplay.cpp	(revision 50043)
@@ -401,5 +401,5 @@
                                  .arg(GUI_ExtPackName);
         }
-#endif VBOX_WITH_EXTPACK
+#endif /* VBOX_WITH_EXTPACK */
 
         /* Check VRDE server port: */