Release 0.31.2: fix version number

closes #423