Fix php_spec