Fixing overzealous coverage issue