diff --git a/tools/extract_configs.py b/tools/extract_configs.py
index e7e53ec5b3d6877ae4a4588ade41e4d57055cb41..edb90994e8cf3e58b04878992e39eaf6e5a0a219 100755
--- a/tools/extract_configs.py
+++ b/tools/extract_configs.py
@@ -219,4 +219,4 @@ with open(outfile, 'w', newline='') as csvfile:
 
     writer.writeheader()
     for config_name, config_obj in sorted(all_configs.items()):
-        writer.writerow({'name': config_name, 'location': '{}:{}'.format(config_obj['filename'], config_obj['line_number']), 'description': config_obj['description'], **config_obj['attrs']})
+        writer.writerow({'name': config_name, 'location': '/{}:{}'.format(config_obj['filename'], config_obj['line_number']), 'description': config_obj['description'], **config_obj['attrs']})