Coverage annotation correction