diff --git a/rtgui/filecatalog.cc b/rtgui/filecatalog.cc
index 55e293718..49559f93e 100644
--- a/rtgui/filecatalog.cc
+++ b/rtgui/filecatalog.cc
@@ -1623,26 +1623,6 @@ BrowserFilter FileCatalog::getFilter ()
                                       anyRankFilterActive || anyCLabelFilterActive || anyEditedFilterActive;
     }
 
-    if( options.rtSettings.verbose ) {
-        printf ("\n**************** FileCatalog::getFilter *** AFTER STEP 1 \n");
-
-        for (int i = 0; i <= 5; i++) {
-            printf ("filter.showRanked[%i] = %i\n", i, filter.showRanked[i]);
-        }
-
-        for (int i = 0; i <= 5; i++) {
-            printf ("filter.showCLabeled[%i] = %i\n", i, filter.showCLabeled[i]);
-        }
-
-        for (int i = 0; i < 2; i++) {
-            printf ("filter.showEdited[%i] = %i\n", i, filter.showEdited[i]);
-        }
-
-        for (int i = 0; i < 2; i++) {
-            printf ("filter.showRecentlySaved[%i] = %i\n", i, filter.showRecentlySaved[i]);
-        }
-    }
-
     filter.multiselect = false;
 
     /*