fixed GCC error