fixed several glitches in PosRanges definition