Useless line according to the rest of the document. I won't notice it anymore. Update all the file :-).