Correct PHP opening tag.