removed double coverage
double