diff --git a/README.md b/README.md
index 11cab0749ed14a10253231158cfa3f4d1862d09b..284f8b637597b7f9422a1e23fe7c1fbbd4a1ed57 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ The executable files are generated and stored in the folder `./tool/bin/`. Usage
 
 `GIST` computes sufficient and implementable assumptions for parity games using the algorithm given in the paper "Environment assumptions for synthesis" by Chatterjee et al. It requires one command-line argument which is a filename that contains description of a parity game in pgsolver format; and outputs the assumptions to stdout.
 
-`hoa2pg.o` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
+`hoa2pg` converts a parity game in extended HOA format to pgsolver format. It requires one stdin input which is the description of a parity game in extended HOA format; and outputs the game in pgsolver format to stdout.
 
 ## Reproducibility Instructions
 The experimental results of our paper can be reproduced using the following commands.