Bump version to 2.5.3
Fix small incompatibility with Python 3.2