A fix for an error in the travis file