Minor fix of a useless warning.