Bug in travis config