updated coverage, to be added in .gitignore