Coverage annotation fixes