php misprint fix