Fix PHP 5.2 compatibility issue