Fixing bugs with travis