Minor edits.  Mostly spacing.