Fix wrong creation of coverage directory
Fix coverage to 100%.