diff --git a/doc/src/sgml/ref/do.sgml b/doc/src/sgml/ref/do.sgml
index 96901b7e461..a01ae9deb84 100644
--- a/doc/src/sgml/ref/do.sgml
+++ b/doc/src/sgml/ref/do.sgml
@@ -106,7 +106,8 @@ DO [ LANGUAGE lang_name ] public to
role webuser:
-DO $$DECLARE r record;
+DO $$
+DECLARE r record;
BEGIN
FOR r IN SELECT table_schema, table_name FROM information_schema.tables
WHERE table_type = 'VIEW' AND table_schema = 'public'