fixed a small compiling error in release mode