Fixed a trivial typo in user manual