It is not required, I guess it is a mistake...