Fix problem with korean encoding