Fixed a release number problem in the Fedora RPM package