Prepare for 4.0.2 release