Fixed a PHP error