bug fix for compilation error