fix a warning from g++