* fix for PHP5.3