Fixing bug related to RedHat