Indeed, but it does not cost much to copy those anyway, so I removed them from the blacklist.