Fixing @cover annotations