Updating version strings: 1.1.2-dev/1.1.3 to 1.2.0

Also fixed a minor documentation bug.