fixes the case when coverage isn't turned on