Change the version number to 5.3