Documentation changes and typos