fixed a compilation warning