Fix CI warning about possibly undefined variable