diff --git a/src/Filtering/Filter.coffee b/src/Filtering/Filter.coffee
index 54ec0839c..c16dbffb0 100755
--- a/src/Filtering/Filter.coffee
+++ b/src/Filtering/Filter.coffee
@@ -156,7 +156,7 @@ Filter =
         subEntries: []
 
       for type in [
-        ['Post ID',          'postID']
+        ['Post number',      'postID']
         ['Name',             'name']
         ['Unique ID',        'uniqueID']
         ['Tripcode',         'tripcode']
diff --git a/src/General/Config.coffee b/src/General/Config.coffee
index c6db53682..e95f1e99f 100755
--- a/src/General/Config.coffee
+++ b/src/General/Config.coffee
@@ -639,8 +639,8 @@ Config =
 
   filter:
     postID: """
-      # Highlight dubs:
-      #/(\\d)\\1$/;highlight
+      # Highlight dubs on [s4s]:
+      #/(\\d)\\1$/;highlight;top:no;boards:s4s
     """
 
     name: """
diff --git a/src/General/html/Settings/Filter-select.html b/src/General/html/Settings/Filter-select.html
index 540557a60..38a2e15ab 100755
--- a/src/General/html/Settings/Filter-select.html
+++ b/src/General/html/Settings/Filter-select.html
@@ -1,6 +1,6 @@
 <select name="filter">
   <option value="guide">Guide</option>
-  <option value="postID">Post ID</option>
+  <option value="postID">Post number</option>
   <option value="name">Name</option>
   <option value="uniqueID">Unique ID</option>
   <option value="tripcode">Tripcode</option>