Fix problem with travis