Removed now-incorrect @covers tags.