Fix up pxref/xref.