Bump version number to 3.5.2