Fix a typo in PHP guide