A helper for PHPUnit