Fix for PHP5.4