Inacurracy in the documentation of the ignore option