Fixed minor things in User doc