Resolving another reprint-from tangle.