fixed a typo in the user manual