Alpine's Pierre Gasly finished third on June 7 but was demoted to seventh after two five-second penalties for pit-lane speeding were applied post-race.