Updated version numbers for 4.0.2