Fix the user doc