Minor edits and corrections