Fix magic encoding