bugfix for phpunit