Fix for the PHP 5.3 compatibility issue #1