fix glitch in travis config