documentation typos and corrections