XPointer: some details