Average/Tdie higher than TCTL?

[keyboard_midi]

This was captured under a heavy load. The max for the average is higher than the Tctl (what is supposed to be the hottest sensor on the die). Albeit, it's by a degree, but still. Should I be concerned?

 

[Martin]

No need to worry. If the temperatures are fluctuating and sensor values are captured at different time points it can appear like this.