fix another gcc warning