diff --git a/manual/new/docs/en/plugins.txt b/manual/new/docs/en/plugins.txt
index eff7c799f..8d4b518a9 100644
--- a/manual/new/docs/en/plugins.txt
+++ b/manual/new/docs/en/plugins.txt
@@ -1,3 +1,4 @@
+++ Validators
 ++ View
 ++ Profiler
 +++ Introduction