- header = string.replace(f.header, ".", ".\n")
- header = string.replace(header, "<", "\n<", 3)[1:]
- header_file = open("header", 'w')
+ header = f.header.replace(".", ".\n")
+ header = header.replace("<", "\n<", 3)[1:]
+ header_file = open("header", 'wt', encoding='utf-8')