Oh no please tell if there is some easy way.
but an rpm -Uvh to above both gave
rpm -Uvh fedora-release-*
warning: fedora-release-13-1.noarch.rpm: Header V3 RSA/SHA256 signature: NOKEY, key ID e8e40fde
error: Failed dependencies:
rpmlib(PayloadIsXz) <= 5.2-1 is needed by fedora-release-13-1.noarch
rpmlib(PayloadIsXz) <= 5.2-1 is needed by fedora-release-notes-13-3.fc13.noarch
I have checked this page