Minor edits and corrections.