Fix Travis badge
Fix Travis linting