stats page: inconsistent numbers spacing (thousands)

[John Cherouvim]

Hello

My stats page (haproxy version: 1.8.4-1ppa1~xenial) shows some values as 
"20000" and others as "2 000" (note the thousands spacing). The CSV in 
question shows the numbers without spaces:
backend_varnish,varnish,0,0,0,0,20000,0,0,0,,0,,0,0,0,0,no 
check,1,1,0,,,92203,,,1,3,1,,0,,2,0,,0,,,,0,0,0,0,0,0,,,,,0,0,,,,,-1,,,0,0,0,0,,,,,,,,,,,,,,http,,,,,,,,
backend_varnish,BACKEND,0,0,0,0,2000,0,0,0,0,0,,0,0,0,0,UP,1,1,0,,0,92203,0,,1,3,0,,0,,1,0,,0,,,,0,0,0,0,0,0,,,,0,0,0,0,0,0,0,-1,,,0,0,0,0,,,,,,,,,,,,,,http,,,,,,,,

Also, in the errors section it shows "25 131" (has space) in Errors > 
Conns but "213832" (no space) in Warnings > Retr.

Is this an HTML templating bug of the stats page? Or is there a reason 
for this kind of presentation?


thanks