are `@covers` annotations needed ?