Fixing bug in manual/user/user.dox