now supports PHP 5.2