Different Komi in "game information" and "under player's icon'"

Menu - Game information - shows Komi 0.5
When I point cursor over upper right icon of white player it shows Komi 7.5
Is it correct ?

The result was calculated using 7.5 komi. There seem to be various display bugs for tournament games at the moment.