fix bug in mki18n.py