Minor changes and typo corrections