And another fix for PHP 5.2 in eb8516b8e744f1f4cf73c5cb05df676e6b5107cf