fix for compilation error