Fix a PHP compatibility.