Is this mismatch of Fedora versions a mistake, or on purpose?