Update version number to 2.5.2