Minor formatting issues and typos