Typo fix in php doc