diff --git a/gfxmenu/view.c b/gfxmenu/view.c
index 7d9bb1cd0..e2348b6ef 100644
--- a/gfxmenu/view.c
+++ b/gfxmenu/view.c
@@ -136,6 +136,8 @@ grub_gfxmenu_view_new (const char *theme_path, grub_gfxmenu_model_t model)
 void
 grub_gfxmenu_view_destroy (grub_gfxmenu_view_t view)
 {
+  if (!view)
+    return;
   grub_video_bitmap_destroy (view->desktop_image);
   if (view->terminal_box)
     view->terminal_box->destroy (view->terminal_box);