Fix GCC error