fix typo in php man page