typos, small fixes in documentation