some little changes. First of all: choice of the second xref