Fixed file to work with PHP 5.4