minor edits and corrections