PHP 5.2 compatibility (#50)