version bumped; history updated