diff -r 24a1c24fad6e -r f925d492113a contrib/check-config.py
--- a/contrib/check-config.py	Tue Dec 08 09:09:01 2015 +0000
+++ b/contrib/check-config.py	Tue Dec 08 08:36:00 2015 +0000
@@ -62,7 +62,7 @@
 
             # look for ignore markers
             m = re.search(r'# (?:internal|experimental|deprecated|developer)'
-                          ' config: (\S+.\S+)$', l)
+                          ' config: (\S+\.\S+)$', l)
             if m:
                 documented[m.group(1)] = 1