check: version bumped to 0.9.13.