0.13.1 bugfix release