Fix typo in PHP comment