:: commit 55a88438f493d9052792ba85411224f4ddd63f39

diff --git a/stage23/menu.c b/stage23/menu.c
index 6ce388fe..e58a0f66 100644
--- a/stage23/menu.c
+++ b/stage23/menu.c
@@ -389,7 +389,8 @@ char *menu(char **cmdline) {
             colours = config_get_value(NULL, 0, "THEME_COLORS");
         if (colours != NULL) {
             const char *first = colours;
-            for (int i = 0; i < 10; i++) {
+            int i;
+            for (i = 0; i < 10; i++) {
                 const char *last;
                 uint32_t col = strtoui(first, &last, 16);
                 if (first == last)
@@ -399,6 +400,10 @@ char *menu(char **cmdline) {
                     break;
                 first = last + 1;
             }
+            if (i < 8) {
+                colourscheme[8] = colourscheme[0];
+                colourscheme[9] = colourscheme[7];
+            }
         }
 
         char *theme_margin = config_get_value(NULL, 0, "THEME_MARGIN");