README fixed. Bumped version to 0.7.2. Updated HISTORY.