fixed small typo in the user documentation