diff --git a/firmware/lib/vboot_display.c b/firmware/lib/vboot_display.c
index abf2d69..f3cb4d6 100644
--- a/firmware/lib/vboot_display.c
+++ b/firmware/lib/vboot_display.c
@@ -607,8 +607,13 @@
 	VbError_t ret;
 	uint32_t i;
 
-	/* Redisplay current screen to overwrite any previous debug output */
-	VbDisplayScreen(ctx, cparams, disp_current_screen, 1);
+	/* Redisplay current screen to overwrite any previous debug output.
+	 * Need to use VbDisplayMenu instead of VbDisplayScreen
+	 * in order to ensure that the selected menu item is
+	 * highlighted.  On a non-detachable screen, this will be a
+	 * no-op.
+	 */
+	VbDisplayMenu(ctx, cparams, disp_current_screen, 1, disp_current_index);
 
 	/* Add hardware ID */
 	VbRegionReadHWID(cparams, hwid, sizeof(hwid));