Update to version 1.2.

Documentation unchanged.