Fix @covers notation in tests