version bump 4.0.2