FIx @cover annotations