Fix php typo