some corrections to users doc