The above documentation says this returns a "repaired" class, but this doesn't seem to fit.