A fix for a @cover annotation