Fix for PHP error