Do a 0.3.1 bugfix release