Improved exposition.
