Fix @cover annotation