Minor additions and typo corrections