Fix bound cardinality of w-contractible ring

Another error. Of course the only point here is that there is some
bound, but it is nice to have it be correct.