minor fixes to Traversal/DisjointDiscreteRange