typo correction, minor edits