minor fixes (utf8 troubles in python)