Fix: User counts are incorrect when there are thousands separators.

Fixes #798