fixing php typo