fix for PHP5.1.6