diff --git a/ui/drivers/ui_cocoatouch.m b/ui/drivers/ui_cocoatouch.m
index bbfeb9064c..dbe143f054 100644
--- a/ui/drivers/ui_cocoatouch.m
+++ b/ui/drivers/ui_cocoatouch.m
@@ -527,6 +527,14 @@ static void ui_companion_cocoatouch_notify_list_pushed(void *data,
    bool pushp = false;
 
    size_t new_size = file_list_get_size( menu_list );
+
+   /* FIXME workaround for the double call */
+   if ( old_size == 0 )
+   {
+      old_size = new_size;
+      return;
+   }
+
    if ( old_size == new_size ) {
      pushp = false;
    } else if ( old_size < new_size ) {