xml dump: fixed some bad xml output in the token list dump