diff --git a/gfxmenu/view.c b/gfxmenu/view.c
index c32211261..938e41979 100644
--- a/gfxmenu/view.c
+++ b/gfxmenu/view.c
@@ -106,6 +106,8 @@ grub_gfxmenu_view_new (const char *theme_path,
 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);