Red Hat company name displayed in red now