fix travis badget