Minor fix for phpunit