version bumped 0.7.12