diff --git a/frontend/drivers/platform_linux.c b/frontend/drivers/platform_linux.c
index ed31c21330..af25d15abe 100644
--- a/frontend/drivers/platform_linux.c
+++ b/frontend/drivers/platform_linux.c
@@ -1964,9 +1964,7 @@ static void frontend_linux_get_env(int *argc,
     * for gamepad-like/console devices. */
 
    if (device_is_game_console(device_model))
-   {
       snprintf(g_defaults.settings.menu, sizeof(g_defaults.settings.menu), "xmb");
-   }
 
 #else
    char base_path[PATH_MAX];