Just some reformatting for the latest version of the draft.