Fixed a PHP warning.