fix a g++ error