Cleaning up documentation and typos