Fix typo in user manual