Bumped version v0.9.4. Updated HISTORY.