Fix silly php typo