Bumped to 0.7.3. Updated HISTORY.