version bump, 0.9.13, updated the changelog