fix handling of COVERAGE option