It is not strictly necessary, I agree, but why not here?