Bumped to v0.7.1. Updated HISTORY.