make coverage work