diff -r 0ae07173881d -r d1cb185b9ee2 contrib/check-config.py
--- a/contrib/check-config.py	Thu Jun 25 17:57:26 2015 -0500
+++ b/contrib/check-config.py	Sat Jul 18 14:16:07 2015 -0500
@@ -27,11 +27,9 @@
             m = re.match('\s*``(\S+)``', l)
             if m:
                 prevname = m.group(1)
-                continue
             if re.match('^\s*-+$', l):
                 sect = prevname
                 prevname = ''
-                continue
 
             if sect and prevname:
                 name = sect + '.' + prevname