Fix highlighting, IpmiError