Minor fix to avoid some warnings on Linux.