Add the coverage option.