Fix typo in the User Manual