fix a gcc warning