Fix encoding issue on automatic correction output