Fix a typo in the name of the binary