Coverall badge, token. Fix file ending.