fix compilation warning on gcc.