Fix GCC warning