fix up copy2's extraction theorem