number formatting fix

Change 10.000 to 10,000 to match number formatting in rest of document.