0.19.13 bugfix release