Make travis happy again.