minor optimizations to DTAExtractor