remove useless options for coverage