json and travis