XRP Ledger fixes a disclosed bug that could have led to the creation of new tokens $XRP