Fix another Py3 encoding problem.