fixed a compilation error