Minor edits, formatting.