Fixed a PHP warning