Index: trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java	(revision 17039)
+++ trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java	(revision 17040)
@@ -154,5 +154,5 @@
             this.enable = true;
             this.inverted = true;
-            this.text = rule.getKey() + "=" + value;
+            this.text = rule.getKey() + "=" + rule.formatValue(value);
         }
 
