use locale.format_string in misc.py