fixing bug that Lars found from Munich
Don't report the same plugin twice if the filtering is in use.