#3073: Fix an undefined variable error