Minor fixes. Bumped version number to 2.5.2.