Fix @cover annotations