Add missing @covers tags