Fixed a typo in the English manual

Closes #133