diff --git a/Release.md b/Release.md
index 7cf30aa..0bb1b3c 100644
--- a/Release.md
+++ b/Release.md
@@ -23,7 +23,7 @@ Now another maintainer has to approve the PR.
 ## Make the release (mostly automatically)
 
 The release script automates the merging and tagging and pushing.
-It tried to be as safe as possible to use.
+It tries to be as safe as possible to use.
 E.g. it checks that there are no pending changes in the current repository.
 
 1. Run `./release.sh` in the `develop` branch.