Fix typo in PHP string