Fix missing header about encoding