bugfix: php < 5.3