Fix bug with uncovered files