Make coverage work