Bug fixed with PHP 5.3