fix double entry in compressed range