Fix for coverage on TravisCI