More precise documenation for ignored_files