Minor change: #375750
- encoding characters