fix xpointer.h