Bump version number for 2.0.2.