Update version numbering to 1.2.