Coverage annotation update