Minor edits.

More to come