Version updated to 7.1.3