CPU temp reading via gui

So I’m using a raspberry mk3 and was testing the overclocking. I was editing the config manually to enter settings. After I’d finished playing I removed all the settings.
I was then watching the temp and CPU speed via the GUI in the system info tab when I noticed the CPU speed was constand at 12k but a feature of pi3 is that it should drop to 600 when not under load, I had nothing playing so no load.
I then SSH’ed onto the pi and read the speed using vcgencmd measure_clock arm this reported 600, so is the GUI wrong or am I reading the wrong chip speed?

Measure it properly via sysfs, System Info shows highest possible speed.