Is it more likely they have no idea what version RHEL is on, or that it's just a typo?