Fix for PHP v5.3