Code

user-manual: typo fix