Neater xref fooling, discovered by Matthias.