diff --git a/src/gui-sdl/gui-sdl.c b/src/gui-sdl/gui-sdl.c
index d8eb74f..2dbcec1 100644
--- a/src/gui-sdl/gui-sdl.c
+++ b/src/gui-sdl/gui-sdl.c
@@ -730,7 +730,7 @@ void gui_display(int shortcut)
 		default:
 			break;
 		}
-	} while (opt != 5 && opt != 9 && opt != 10);
+	} while (opt == 0 || opt == 6 || opt == 7 || opt == 8);
 
 	if (prefs_has_changed)
 	{