git tags are already in the 7.1.x series, but the version string was not updated it seems. This MR fixes it.