- fix a PHP warning