fix nits: slash one more <xref> in abstract