diff --git a/frontend/menu/menu_settings.c b/frontend/menu/menu_settings.c
index 601a8c569f..6ab2f8853b 100644
--- a/frontend/menu/menu_settings.c
+++ b/frontend/menu/menu_settings.c
@@ -93,7 +93,7 @@ unsigned menu_type_is(unsigned type)
       type == RGUI_SETTINGS ||
       type == RGUI_SETTINGS_GENERAL_OPTIONS ||
       type == RGUI_SETTINGS_CORE_OPTIONS ||
-	  type == RGUI_SETTINGS_CORE_INFO ||	  
+      type == RGUI_SETTINGS_CORE_INFO ||
       type == RGUI_SETTINGS_VIDEO_OPTIONS ||
       type == RGUI_SETTINGS_SHADER_OPTIONS ||
       type == RGUI_SETTINGS_AUDIO_OPTIONS ||