diff --git a/src/polyhedron.jl b/src/polyhedron.jl
index effd529..707d286 100644
--- a/src/polyhedron.jl
+++ b/src/polyhedron.jl
@@ -185,7 +185,7 @@ function Polyhedra.removevredundancy!(p::Polyhedron)
         detectvlinearity!(p)
         ext = getext(p)
         extm = getextm(p, :AlmostFresh) # FIXME does it need to be fresh ?
-        redset = redund(extm)
+        redset = BitSet(redund(extm) .+ 1)
         nonred = setdiff(BitSet(1:size(ext.R, 1)), redset)
         nonred = collect(setdiff(nonred, ext.linset))
         lin = collect(ext.linset)