fedora: small cosmetic fixes