fix travis/coverage