Use Unicode strings

and convert to .format()