And here are those RedHat fixes!