Minor fix: undefined variable