Version bump and HISTORY update