documentation and typos