Minor fix for compilation error.