fix @covers phpunit annotations