fixed a compilation bug