fix GCC error