This fixes #8022.  It will now ignore devices it is told to ignore.