Missing `@covers` annotations