Default encoding should be fine, since we opened the damn file.