issue #2373:fix a compiling error