added compatibility for php-5.3