Fix coverage flag.