Bug fix for PHP5.4