diff --git a/TESTING.md b/TESTING.md
index 8bfb8563b2..644426c675 100644
--- a/TESTING.md
+++ b/TESTING.md
@@ -16,7 +16,7 @@ To run integration tests against your own consumer/provider implementations, use
 
 ## Model-Based Tests (MBT)
 
-[MBT](tests/mbt/) tests are similar to integration tests, but they compare the system state to an expected state generated from a formally verified specification written in Quint
+[MBT](tests/mbt/) tests are similar to integration tests, but they compare the system state to an expected state generated from a formally verified specification written in Quint.
 
 ## End-to-End (E2E) Tests 
 
@@ -128,4 +128,4 @@ If using VSCode, see [vscode-go/wiki/debugging](https://github.com/golang/vscode
 
 ## More
 
-More instructions will be added soon, in time for the testnet. 
\ No newline at end of file
+More instructions will be added soon, in time for the testnet.