Minor edits found by the students.