fix php typo