Fix bad opening PHP tag.