Version bump; history updated