updating version numbers to 4.0.2