minor fixes to new DisjointRange code