Update version number to 4.0.2 to fix AMO listing