Fix two uses of obsolete xref-identifier