fixed typo in PHP