typos in doc-user