diff --git a/design.html b/design.html
index c16a8bd3..fe40040c 100644
--- a/design.html
+++ b/design.html
@@ -56,7 +56,8 @@ quote Simplicity is prerequisite for reliability.
Extensive and automated tests with the runtime checker Valgrind
and with the Google Sanitizers
are done to ensure the correctness of the final application.
-The test has a code coverage of over 90%, measured with lcov.
+The test has a code coverage of over 90%, measured with lcov,
+and it's run after any code change using