merged BUGFIX release into master
Release 0.31.2: fix version number

closes #423