Update version number to v3.1.2, from v3.1.1