Version 3.5.2 released

The previous version number was wrong