Update version for release 1.3.1.