I think `@covers` annotations are missing here