fix typo in php5