diff --git a/ada/testsuite/tests/properties/doc/test.out b/ada/testsuite/tests/properties/doc/test.out
index 0546b2637..220feefac 100644
--- a/ada/testsuite/tests/properties/doc/test.out
+++ b/ada/testsuite/tests/properties/doc/test.out
@@ -8,6 +8,7 @@ Test that we can extract doc after the prelude
 ==============================================
 
 Documentation for the package
+
 Bla bla bla
 
 Test annotation extraction
diff --git a/ada/testsuite/tests/properties/doc/test.py b/ada/testsuite/tests/properties/doc/test.py
index 9bb0ceda6..71a743e41 100644
--- a/ada/testsuite/tests/properties/doc/test.py
+++ b/ada/testsuite/tests/properties/doc/test.py
@@ -43,6 +43,7 @@ def test(label, buffer):
 with A; use A;
 
 --  Documentation for the package
+--
 --  Bla bla bla
 
 package Foo is