Fixes a PHP warning.