Am I reading it right that this is a bug in super and not in the Reviver code itself? We should report that if so.