I see. No, there is no misprint. That's exactly what any BIOS information retrieval program shows. Unfortunately, I don't have a previous version, so I'm not sure what was it. It might be something wrong on Samsung side.