Fix a mistyped release number: in December 2011, I released version 1.8.0 rather than 1.7.1.
Changed paths: