diff --git a/README.md b/README.md
index e9840e0f..90a100c1 100644
--- a/README.md
+++ b/README.md
@@ -75,7 +75,7 @@ Basic code-completion snippets are provided for Prusti annotations.
 By default, Prusti transparently caches verification requests.
 
 * When running Prusti in a crate the cache is stored on disk in the `target/verify` folder. To clear the cache: close vscode, delete that folder, then reopen vscode.
-* When running Prusti on standalone Rust programs the cache is not persisted on disk. To clear the cache, it's enough to restart the Prusti server with the command explained above.
+* When running Prusti on standalone Rust programs the cache is not persisted on disk. To clear the cache, it's enough to restart the Prusti server with the commands described above.
 
 ## Troubleshooting