diff --git a/src/gui-sdl/gui-sdl.c b/src/gui-sdl/gui-sdl.c
index d161b41..aedafaa 100644
--- a/src/gui-sdl/gui-sdl.c
+++ b/src/gui-sdl/gui-sdl.c
@@ -726,7 +726,7 @@ void gui_display(int shortcut)
 		default:
 			break;
 		}
-	} while( opt != 5 && opt != 9 && opt != 10);
+	} while (opt != 5 && opt != 9 && opt != 10);
 
 	if (prefs_has_changed)
 	{