upgrade to 7.1.3

Very simple change that allows people to install 7.1.3 without changes themselves :)