Fixed @cover (for CI/code coverage)