Fix for `@covers` annotations