Fix RHEL instructions