why is noone talking about FIA pitlane mistake?

the pitlane is now confirmed to be 77 cm shorter making the average speed higher. in a sport where even a 1mm above disqualifies you, how can the fia make a mistake like this? I am no geogre fan but Geogre should have been on the podium but lost 18 points because it. Ik the result wont change for the drivers who have another served the penalty.