Make votecounter.py output slightly less awful text.