--- a/filter.c	Sat Aug 11 16:01:25 2007 +0200
+++ b/filter.c	Sat Aug 11 16:12:27 2007 +0200
@@ -215,7 +215,7 @@
             {
                 dispndefs = 0;
                 printf("Filtered: %i/%i (%f%%)\n", filtereddefs, ndefs,
-                        (float) filtereddefs / (float) ndefs);
+                        (float) filtereddefs / (float) ndefs * 100.);
             }
         }
     }