Proper @covers annotation format