Actually fixed Travis file (confirmed by linting)