Update user_manual.md