Fixed bugs in user doc