F1 alters shortened-race rule after Verstappen title confusion