Fix warning from gcc