@hver, yep, I think @Ocramius meant `@covers`