Fixing a bug in the DLMatcher.