Official release of 4.0.2 for OS X