Typo fix in PHP comment.