diff --git a/README.md b/README.md
index c68914a8f..ae08841c5 100644
--- a/README.md
+++ b/README.md
@@ -163,7 +163,7 @@ $ make install
 ## Starting Applications with the Proxy tool
 
 HermitCore applications are currently started with a small helper tool called `proxy`.
-This tool is sets up a virtual machine or bare-metal on a NUMA node and bridges certain functionality from the application to the Linux host.
+This tool sets up a virtual machine or bare-metal on a NUMA node and bridges certain functionality from the application to the Linux host.
 
 To start a HermitCore application, hand the executable to the proxy:
 ```bash