diff --git a/docs/bin/plugin_formatter.py b/docs/bin/plugin_formatter.py
index b869c535fd4..b1e558d0e27 100755
--- a/docs/bin/plugin_formatter.py
+++ b/docs/bin/plugin_formatter.py
@@ -117,7 +117,7 @@ def html_ify(text):
t = _CONST.sub(r"\1
", t)
t = _RULER.sub(r"