(Release 8.0.2) Bump version