Fix GCC compilation error.