fix GCC warning