Yeah, likely because they were done before the pit stop that caused the 5:00 lap time. Only you construed some partial facts to make it look like 4...