https://bugzilla.redhat.com/show_bug.cgi?id=1208835
--- Comment #10 from Alexander Ploumistos alex.ploumistos@gmail.com --- Turns out the right version was 7.13 all along. He set it as 7.15 on the web page and in the other files by mistake.
No need to change anything, your hunch was spot on!