Fix SliceLens.over