Minor updates and typo corrections