Fixed a spacing issue

Without the reiteration of \doublespacing, the second proposal is
single-spaced. Not a big deal -- thought I'd try out the pull request thing.