more unicode fixes in punga.py