Minor typo in user manual