fix a compiling error