Corrected a problem with travis